2 Carlos Viegas Dam

Bridging the Gap between Theory and Practice : REVISE Progress

REVISE Progress Report Carlos Viegas Dam asio, Lu s Moniz Pereira, Michael Schroeder Department of Computer Science, F.C.T., Universidade Nova de Lisboa, 2825 Monte de Caparica, Portugal, Phone: ++351-1-3.500.279,Email: fcd,lmp,[email protected] February 9, 1996 Introduction REVISE is an extended logic programming system for revising knowledge bases. It is based on logic programming with explici...

Antitoni Logi Programs

carbohydrate-binding module from Clostridium thermocellum (CtCBM11)

Aldino VIEGAS*, João SARDINHA*, Filipe FREIRE*, Daniel F. DUARTE*, Ana L. CARVALHO*, Carlos M. G. A. FONTES†, Maria J. ROMÃO*, Anjos L. MACEDO* and Eurico J. CABRITA*1 *REQUIMTE-CQFB, Dep. de Qúımica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal, and †Centro Interdisciplinar de Investigação em Sanidade Animal, Fac. Med. Veterinária, Universidade T...

Monotoni and Residuated Logi Programs

Diagnosis and Debugging as Contradiction Removal